$\forall$$L$:Realizer List, $B$:Realizer. ($\forall$$A$$\in$$L$. $A$ $\parallel$ $B$) $\Rightarrow$ $\oplus$($L$) $\parallel$ $B$